Fix bug #14558 with turning off mouse-highlight during highlight.
authorEli Zaretskii <eliz@gnu.org>
Wed, 5 Jun 2013 20:45:34 +0000 (23:45 +0300)
committerEli Zaretskii <eliz@gnu.org>
Wed, 5 Jun 2013 20:45:34 +0000 (23:45 +0300)
commit9675f4b5c350c7224ab1536a2d98459b2dc747b9
treeb30f3b08bc3378bd9bf5ae5916d97198543b77b8
parentf5a7daa77a978ba72b01f5ed31945b18b03a8da0
Fix bug #14558 with turning off mouse-highlight during highlight.

 src/xdisp.c (handle_tool_bar_click): When mouse-highlight is off,
 don't insist on being invoked on a highlighted tool-bar button.
 Avoids losing tool-bar functionality when mouse-highlight is nil.
 (note_tool_bar_highlight, note_mode_line_or_margin_highlight):
 Don't highlight when mouse-highlight is nil.
 (note_mouse_highlight): When mouse-highlight is nil, don't return
 right away; instead, run tool-bar and mode-line highlight
 subroutine, clear any existing highlight, and revert the mouse
 pointer to its default shape.
src/ChangeLog
src/xdisp.c